Deductive Program Design NATO Advanced Study ... Hardback Published 18 Jun 1996 Save $2.17 RRP $246.08 $243.91 In Stock